Homological algebra - PDFSEARCH.IO - Document Search Engine

Homological algebra
Results: 899

#	Item
131	Documenta Mathematica Journal der Deutschen Mathematiker-Vereinigung BandISSNPrint Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-15 07:11:21 Algebraic geometry Sheaf theory Cohomology theories Homological algebra Vector bundles tale cohomology tale morphism Sheaf Grothendieck topology Base change Analytic space Rigid analytic space
132	41 Documenta Math. Comparison of Abelian Categories Recollements Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2004-03-18 14:08:08 Homological algebra Functors Additive categories Category theory Exact functor Derived functor Abelian category Equivalence of categories Cohomology Adjoint functors Natural transformation Triangulated category
133	HEAP By Leo Freitas and Iain Whiteside November 21, 2013 Contents 1 The heap in Isabelle Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:18 Restriction Sheaf theory Lemmas Homological algebra Combinatorics
134	69 Documenta Math. A Short Proof of Rost Nilpotence via Refined Correspondences Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-06-11 06:19:46 Homological algebra Algebraic geometry Motive Sheaf Smooth morphism KnuthBendix completion algorithm GEC
135	41 Documenta Math. Comparison of Abelian Categories Recollements Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2004-03-18 14:08:08 Homological algebra Functors Additive categories Category theory Exact functor Derived functor Abelian category Cohomology Equivalence of categories Adjoint functors Natural transformation Triangulated category
136	749 Documenta Math. Twisted Cohomology of the Hilbert Schemes of Points on Surfaces Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-12-31 08:05:56 Algebraic geometry Homological algebra Vector bundles Ring theory Algebras Cohomology Hodge structure Ample line bundle Projective variety Graded ring Hodge theory Divisor
137	907 Documenta Math. Convergence of Voevodsky’s Slice Tower Marc Levine1 Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2013-07-08 08:43:52 Homological algebra Conjectures Witt group Norm residue isomorphism theorem Triangulated category Homotopy theory
138	119 Documenta Math. On Equivariant Dedekind Zeta-Functions at s = 1 Dedicated to Professor Andrei Suslin Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-06-22 05:49:10 Algebraic geometry Homological algebra Cohomology theories Algebraic number theory Ring theory Algebraic K-theory Motive Integral element tale cohomology Algebraic number field Cohomology
139	243 Documenta Math. Koszul Duality and Equivariant Cohomology Matthias Franz Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-07-24 16:48:51 Homological algebra Algebras Homotopy theory Algebraic topology Cohomology theories Cohomology Koszul duality Exterior algebra Equivariant cohomology Rational homotopy theory Resolution Chain complex
140	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant

UPDATE